1021. The 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 7-11, 2005
پدیدآورنده : Sponsored by IEEE Computer Society, ACM Software Research, University of California, Irvine, Department of Computing, City University, London ]and[ Donald Bren School of Information and Computer Sciences, University of California, Irvine
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer-aided software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I442
2005
1022. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1023. Theory and practice of model transformations
پدیدآورنده : Zhenjiang Hu, Juan de Lara (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2012eb
1024. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
1025. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
1026. Theory and practice of model transformations
پدیدآورنده : Richard F. Paige (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2009
1027. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه ن‍وی‍س‍ی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
1028. Third International Conference on Software Reuse: Advances in Software Reusability : proceedings, November 1-4, 1994, Rio de Janeiro, Brazil
پدیدآورنده : edited by William B. Frakes ; sponsored by IEEE Computer Society Technical Council on Software Engineering, Sociedade Brasileira de Computacao )SBC( ; in cooperation with Association for Computing Machinery
کتابخانه: (طهران)
موضوع : Computer software - Reusability - Congresses
رده :
QA
76
.
76
.
R47
I587
1994
1029. Three-Dimensional Modeling with Geoscientific Information Systems
پدیدآورنده : edited by A. Keith Turner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geological modeling -- Congresses.,Information storage and retrieval systems -- Geology -- Congresses.,Information storage and retrieval systems -- Mines and mineral resources -- Congresses.
1030. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1031. Top productivity through software reus
پدیدآورنده : Klaus Schmid (ed.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer software, Reusability, Congresses
رده :
QA
،
76
.
76
،.
R47
1032. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده : Nigel P. Smart (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
1033. Towards a service-based Internet
پدیدآورنده : Witold Abramowicz ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses,Internet, Congresses
رده :
TK5105
.
875
.
I57
S47
2011
1034. Towards ubiquitous learning :
پدیدآورنده : Carlos Delgado Kloos [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Education-- Effect of technological innovations on, Congresses,Educational technology, Congresses,Web-based instruction, Congresses
رده :
LB1028
.
3
.
E955
2011
1035. Transactions on Engineering Technologies :
پدیدآورنده : Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
1036. Transactions on engineering technologies :
پدیدآورنده : Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
1037. Transactions on large-scale data- and knowledge-centered systems XXXVII /
پدیدآورنده : edited by Abdelkader Hameurlain, Roland Wagner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
1038. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
1039. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
1040. UIST'01 : proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, Orlando, Florida, November 11-14, 2001
پدیدآورنده : Sponsored by ACM SIGGRAPH, ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Computer software,Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
U83A23
2001
